Monadic Down Tack is not defined
Dyadic Down Tack means
2 2 2 2 ⊤ 5 7 12 ⍝ binary encode 0 0 1 1 1 1 0 1 0 1 1 0 ⍝ mixed radix: encode of 10000 seconds ⍝ to hours, minutes and seconds: 24 60 60 ⊤ 10000 2 46 40
Monadic Down Tack is not defined
2 2 2 2 ⊤ 5 7 12 ⍝ binary encode 0 0 1 1 1 1 0 1 0 1 1 0 ⍝ mixed radix: encode of 10000 seconds ⍝ to hours, minutes and seconds: 24 60 60 ⊤ 10000 2 46 40